منابع مشابه
Être médecin à Rome
controllers were not alone in seeking to end such traditional ideas and practices. Women were informed by magistrates and medical men that life did exist before quickening and that any interference-not that just carried out by a third party with a sharp instrument-could be described as an attempt at abortion. But by the 1920s lawyers and doctors were expressing their own unhappiness with the 18...
متن کاملIntroduction à Unicode et à l'ISO 10646
This article presents a concise overview of Unicode 3.2 and its ISO equivalent, ISO/IEC 10646. It introduces and summarizes the main features and design principles before examining the character encoding model, normalizations forms and common processes such as sorting and rendering and their relationship with Unicode. MOTS-CLÉS : Unicode, ISO/CEI 10646, formes normalisées, modèle de caractères,...
متن کاملContribution à l’Etude et à la Conception d’Agents Virtuels . . .
In this thesis, besides the developing a bilateral automated negotiation model between agents, in incomplete information state, integrating the personality effects of human on the negotiation process and outcomes, we proposed an architecture of such agents (―buyer‖ or ―seller‖). To do so, a new offer generation approach of three adaptive families of tactics has been proposed as follows: the tim...
متن کاملConception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML
One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...
متن کاملElagage et aide à l'interprétation symbolique et graphique d'une pyramide
Résumé : Le but de ce travail est de faciliter l’interprétation d’une classification pyramidale construite sur un tableau de données symboliques. Alors que dans une hiérarchie binaire le nombre de paliers est égal à n-1, si n est le nombre d’individus à classer, dans le cas d’une pyramide ce dernier peut atteindre n(n-1)/2. Afin de réduire ce nombre, on élague la pyramide et on utilise un critè...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Interférences
سال: 2012
ISSN: 1777-5485
DOI: 10.4000/interferences.172